Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
531	Brussels Development Policy Briefing no.40 Data: the next revolution for agriculture in ACP countries Organised by CTA, the ACP Secretariat, the European Commission, Concord th 18 February 2015, 14h00-18h00 (preceded by Add to Reading List Source URL: brusselsbriefings.files.wordpress.com Language: English - Date: 2015-02-18 03:59:27 Database management systems Database theory Science Data analysis Business intelligence Data mining Big data Geographic information system African Caribbean and Pacific Group of States Data management Technology Formal sciences
532	Formal Ontology for Sentiment Analysis Adam Pease Rearden Commerce code available at http://www.ontologyportal.org Add to Reading List Source URL: www.sentimentsymposium.com Language: English - Date: 2011-11-15 07:29:26 Sentiment analysis Artificial intelligence Star Ontology Natural language processing Science Knowledge
533	Improving Quality of Training Data for Learning to Rank Using Click-Through Data Jingfang Xu Chuanliang Chen Add to Reading List Source URL: www.wsdm-conference.org Language: English - Date: 2009-12-30 01:29:22 Formal sciences Information retrieval Learning to rank Regression analysis Data mining Error detection and correction Errors and residuals in statistics Support vector machine Ranking function Statistics Machine learning Measurement
534	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
535	Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-04-27 00:54:51 Computability theory Analysis of algorithms Descriptive complexity Kolmogorov complexity Bounded-error probabilistic polynomial FO PP IP Time complexity Theoretical computer science Computational complexity theory Applied mathematics
536	cover story Interactions with Big Data Analytics Danyel Fisher Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-03 19:01:36 Business intelligence Formal sciences Database management systems Computer graphics Scientific modeling Data analysis Big data ADAPA Visualization Science Computing Statistics
537	Parse Tools Copyright © Ericsson AB. All Rights Reserved. Parse ToolsMarch 31, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Parsing Compiler construction Parser generators Compiling tools Formal languages LALR parser Lexical analysis LR parser Lookahead Programming language implementation Computing Software engineering
538	Error Analysis by Monica Bobra In this document, I derive analytical functions for the error in each active region parameter using formal error propagation. It is important to note that the error formulae below assume th Add to Reading List Source URL: jsoc.stanford.edu Language: English - Date: 2013-11-06 18:05:22 Propagation of uncertainty Statistics Algebra of random variables Numerical analysis
539	Chapter 1. Quick Introduction to Syntax Analysis Paul Klint:48:15 +0200 (Sun, 21 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Parser generators Formal languages Compiling tools Parsing Scannerless parsing Syntax Definition Formalism Top-down parsing Bottom-up parsing Software engineering Programming language implementation Computing
540	data sheet birt Analytics Reduce the time from analysis to action Add to Reading List Source URL: www.actuate.com Language: English - Date: 2013-02-22 13:31:30 Data analysis Formal sciences Analytics Mathematical finance Web analytics Data mining Actuate Corporation Predictive analytics Oracle Data Mining Business intelligence Statistics Business

UPDATE